#include <stdio.h>

int main()
{
   printf(
       #include "a.inc"
     );
}
